1. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :
پدیدآورنده : Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aufzählbarkeit.,Berechenbarkeit.,Recursive functions.
2. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit : Einfuhrung in die Theorie der Rekursiven Funktionen
پدیدآورنده : Hermes, Hans
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
H4
1978
3. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده : Hermes, Hans.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
4. Eine Termlogik mit Auswahloperator
پدیدآورنده : Hermes, Hans
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
5. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans
کتابخانه: (طهران)
موضوع : ، Lattice theory
رده :
QA
171
.
5
.
H47
1967
6. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Lattice theory
رده :
QA
1
.
G7
v
.
73
1967
7. Einführung in die Verbandstheorie.
پدیدآورنده : Hans Hermes
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Einführung.,Lattice theory.,Treillis, Théorie des.
رده :
QA171
.
5
H367
1967
8. Einführung in die mathematische Logik :
پدیدآورنده : von Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.
رده :
QA9
.
V664
1972
9. Einfuhrung in die mathematische Logik: Klassische pradikatenlogik
پدیدآورنده : Hermes, Hans
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H44
10. Einfuhrung in die Verbandstheorie
پدیدآورنده : Hermes, Hans
موضوع : ، Lattice theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Enumerability · Decidability Computability
پدیدآورنده : by Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
12. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Enumerability decidability computability : an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
14. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Introduction to mathematical logic
پدیدآورنده : / Hans Hermes; translated from German by Diana Schmidt
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
H553
16. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H47I513
1973
17. Introduction to mathematical logic
پدیدآورنده : Hermes, Hans.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H4
18. Posthumous writings /
پدیدآورنده : Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA3
.
F74213
1979
19. Term logic with choice operator
پدیدآورنده : Hermes, Hans
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H54
1970
20. Term logic with choice operator
پدیدآورنده : Hermes, Hans
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
1970
